1. Constructing quality software: proceedings of the IFIP working conference on constructing quality software
Author: / edited by P. G. Hibbard, S. A. Schuman
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming - Congresses,Programming languages (Electronic computers) - Congresses
Classification :
001
.
6425
I23c
1977
2. ESOP '90
Author: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; A. Arnold, N. Jones )eds.(,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Programming languages )Electronic computers( - Congresses
Classification :
QA
.
E976
76
.
6
1990
3. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
Author: edited by B. Robinet and R. Wilhelm
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
213
4. ESOP 86 : European Symposium on Programming, Saarbrغucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
Author: European Symposium on Programming, )1st, 6891, Saarbrucken, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
6
.
E976
1986
5. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings
Author: European Symposium on Programming, )2nd, 8891, Nancy, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
6
.
E976
1988
6. ESOP' 90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18 1990: Proceedings
Author: N. Jones )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming - Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
E976
1990
7. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
Author: European Symposium on Programming, )3rd, 0991, Copenhagen, Denmark(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
6
.
E976
1990
8. Formal description technique
Author: / edited by K.R. Parker, G.A. Rose
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
Classification :
QA
76
.
6
.
I185
1992
9. Formal description techniques, II
Author: / Edited by Son T. Vuong
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I1778
1989
10. Formal description techniques III
Author: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I185
1990
11. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
Author: edited by Jeffrey M. Tobias
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
79
12. Language hierarchies and interfaces : international summer school
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
6
.
L335
13. Language hierarchies and interfaces : international summer school
Author: F. L. Bauer ... )et al.( ; edited by F. L. Bauer and K. Samelson
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
46
14. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
Author: edited by Austin Melton
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
239
15. Mathematical foundations of computer science 1986; Proceedings of the 12th symposium Bratislava, Czechoslovakia, August 25-29, 1986
Author: edited by J. Gruska
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L4
v
.
233
16. Perspectives on computer science; from the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic Computers(-- Congresses
Classification :
QA
75
.
5
.
P47
17. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
Author: / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
Classification :
QA
76
.
7
.
S97
1991
18. Proceedings 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, maryland
Author: sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery / SIGSOFT
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Software engineering - Congresses, Programming languages )Electronic computers( - Congresses
Classification :
QA
76
.
6
.
I573
1993
19. Proceedings 16th International Conference on Software Engineering, May 16-21, 1994, Sorrento, Italy
Author: sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Software Engineering )SIGSOFT(, Associazione Italiana per l Informatica ed il Calcolo Automatico )AICA(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Software engineering - Congresses , Programming languages )Electronic computers( - Congresses
Classification :
QA
76
.
6
.
I573
1994
20. Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings
Author: Donald Sannella, ed
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
788
